libretto/libretto/CoreLib/|*|

|*|

object |*|
class Object
trait Matchable
class Any

Value members

Methods

def assocLR[A, B, C]: A |*| B |*| C -⚬ A |*| B |*| C
def assocRL[A, B, C]: A |*| B |*| C -⚬ A |*| B |*| C
def bimap[A, B, C, D](f: A -⚬ B, g: C -⚬ D): A |*| C -⚬ B |*| D
def fst[B]: Transportive[[x] =>> x |*| B]

Pair is covariant in the first argument.

def snd[A]: Transportive[[x] =>> A |*| x]

Pair is covariant in the second argument.

Fields